Theoretical study of a thermoelectric-assisted vapor compression cycle for air-source heat pump applications

This paper proposes a thermoelectric-assisted vapor compression cycle (TVCC) for applications in air-source heat pump systems which could enhance the heating capacity of the system. Performances of TVCC are calculated and then compared with that of basic vapor compression cycle (BVCC). The simulation results show that when coefficients of performance (COPs) of the two cycles are almost equal, the TVCC under maximum COP condition of the thermoelectric modules still performs better than BVCC by 13.0% in heating capacity through selecting the appropriate intermediate temperature. In addition, the TVCC can also achieve an improvement of 16.4%–21.7% in both the heating COP and capacity when compared with the BVCC with an assistant electric heater that is provided with the equivalent power input of thermoelectric heat exchanger. Thus, the TVCC could be beneficial to the applications in small heat pumps if there is always need for auxiliary electric heat.     

Peirce algebras

We present a two-sorted algebra, called aPeirce algebra, of relations and sets interacting with each other. In a Peirce algebra, sets can combine with each other as in a Boolean algebra, relations can combine with each other as in a relation algebra, and in addition we have both a set-forming operator on relations (the Peirce product of Boolean modules) and a relation-forming operator on sets (a cylindrification operation). Two applications of Peirce algebras are given. The first points out that Peirce algebras provide a natural algebraic framework for modelling certain programming constructs. The second shows that the so-calledterminological logics arising in knowledge representation have evolved a semantics best described as a calculus of relations interacting with sets.     

随机度量理论的最近进展及其应用

本文综述了随机度量理论在近十年来的重要进展及其具有代表性的某些应用。     

Novel miniature integrated optical goniometers

A new principle and arrangement for directly determining the angle of incidence of an optical beam on an object are proposed and demonstrated. The novelty of the approach lies in the realization of a ‘smart object’, which extracts a portion of the incident beam's power into an optical waveguide attached to the object's surface or embedded in its body for converting the angle of incidence into the position of a guided beam with finite lateral extent. This ‘integrated optical light pointer’ beam is accomplished by means of creating additional degrees of freedom on the target in two different ways. While a first type is based on introducing spatial variations of the waveguide thickness, a second type makes use of a chirp of the grating periodicity. The feasibility for practical applications has been experimentally demonstrated by a direct comparison with a commercial high-resolution encoder, resulting in an r.m.s. error of <30′'. Measurements have been performed for chips fabricated based on replicated polycarbonate substrates and with no external optics, showing the great potential of this approach for realizing low-cost yet high-performance miniature goniometers.     

IGBT无损吸收网络的设计

提出一种模块化IGBT无损吸收网络，介绍了其缓冲吸收原理、元件参数计算及一些注意事项。     

Categorical ML — Category-theoretic modular programming

We consider an extension of the functional programming language Standard ML with a modular structure based upon concepts in category theory such as categories, functors, natural transformations and adjunctions. In essence, we are following the categorical imperative of considering arrows as well as objects. This is intended to enforce a certain mathematical rigour on the programmer, so that the only programs that can be expressed are those with a categorical significance. The essentially algebraic nature of category theory means that we may generate equational correctness conditions for the modular structure of programs, thus separating the correctness of individual functions from that of modules. We describe this programming language, give examples of its use, and explain how it is implemented in a type system.     

可编程序控制器在催化联锁系统的应用

随着工厂自动化程度的提高，对可编程控制器系统的可靠性要求越来越高，特别是炼油厂、化工厂、电站、钢铁厂以及环保项目中，停车将会给工厂带来的昂贵的代价。在这种情况下,冗余控制器能显著降低生产停滞的风险。简单介绍了可编程序控制器的冗余系统，并结合具体实例说明了冗余系统在其应用过程中的安全可靠性。     

NCD－环上模的理论探讨

研究了ＮＣＤ－环上模Ｍ，在模半理想的条件下，可得到一些有趣的结果。     

RAFNet: RGB-D attention feature fusion network for indoor semantic segmentation

Semantic segmentation based on the complementary information from RGB and depth images has recently gained great popularity, but due to the difference between RGB and depth maps, how to effectively use RGB-D information is still a problem. In this paper, we propose a novel RGB-D semantic segmentation network named RAFNet, which can selectively gather features from the RGB and depth information. Specifically, we construct an architecture with three parallel branches and propose several complementary attention modules. This structure enables a fusion branch and we add the Bi-directional Multi-step Propagation (BMP) strategy to it, which can not only retain the feature streams of the original RGB and depth branches but also fully utilize the feature flow of the fusion branch. There are three kinds of complementary attention modules that we have constructed. The RGB-D fusion module can effectively extract important features from the RGB and depth branch streams. The refinement module can reduce the loss of semantic information and the context aggregation module can help propagate and integrate information better. We train and evaluate our model on NYUDv2 and SUN-RGBD datasets, and prove that our model achieves state-of-the-art performances.     

大功率储能变流器功率模组DC-link电容器的试验研究

从满足最恶劣运行工况下纹波电流和满足动态响应的电容容值这两方面,对三相大功率储能变流器功率模组中的DC-link电容进行了计算设计。在简化模型下,定性分析了功率模组间连接铜排寄生电感对电容纹波电流的放大效应,并采取实验验证的方式在整机装置上进行了测试验证。测试发现,模组采用铜排连接方式的原有设计不合理,电容纹波电流放大明显,不能满足设计要求。针对该问题进行了改良设计,模组间更换采用叠排方式连接,改进后模组内DC-link电容的纹波电流放大现象得到了明显抑制,满足整机设计要求。